A Complexity Trichotomy for the Six-Vertex Model

We prove a complexity classification theorem that divides the six-vertex model on graphs into exactly three types. For every setting of the parameters of the model, the computation of the partition function is precisely: Either (1) solvable in polynomial time for every graph, or (2) #P-hard for general graphs but solvable in polynomial time for planar graphs, or (3) #P-hard even for planar graphs. The classification has an explicit criterion. In addition to matchgates and matchgates-transformable signatures, we discover previously unknown families of planar-tractable partition functions by a non-local connection to #CSP, defined in terms of a “loop space”. For the proof of #P-hardness, we introduce the use of Möbius transformations as a powerful new tool to prove that certain complexity reductions succeed in polynomial time.